Bhasarvajña's Refutation to Naiyayika, ‘upamana’
نویسندگان
چکیده
منابع مشابه
From Refutation to Verification
Model checking has won some industrial acceptance in debugging designs. Theorem proving and formal verification are less popular. An approach built around automated abstractions could integrate theorem proving with model checking in an acceptable way and provide a bridge between refutation and verification.
متن کاملOn Learning versus Refutation
Building on the work of Daniely et al. (STOC 2014, COLT 2016), we study the connection between computationally efficient PAC learning and refutation of constraint satisfaction problems. Specifically, we prove that for every concept class P, PAC-learning P is polynomially equivalent to “random-right-hand-side-refuting” (“RRHS-refuting”) a dual class P∗, where RRHS-refutation of a class Q refers ...
متن کاملNegation As Refutation
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the semantics: true, false, neither, both. Inconsistent programs are allowed, but inconsistencies remain localized. The four-valued logic is a well-known one, due to Belnap, and is the simplest example of Ginsberg’s bilat...
متن کاملFast DQBF Refutation
Dependency Quantified Boolean Formulas (DQBF) extend QBF with Henkin quantifiers, which allow for non-linear dependencies between the quantified variables. This extension is useful in verification problems for incomplete designs, such as the partial equivalence checking (PEC) problem, where a partial circuit, with some parts left open as “black boxes”, is compared against a full circuit. The PE...
متن کاملThe Refutation of Idealism
Modern Idealism, if it asserts any general conclusion about the universe at all, asserts that it is spiritual. There are two points about this assertion to which I wish to call attention. These points are that, whatever be its exact meaning, it is certainly meant to assert (1) that the universe is very different indeed from what it seems, and (2) that it has quite a large number of properties w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JOURNAL OF INDIAN AND BUDDHIST STUDIES (INDOGAKU BUKKYOGAKU KENKYU)
سال: 1969
ISSN: 1884-0051,0019-4344
DOI: 10.4259/ibk.17.888